Search Results for 'Andaninnitesetofnewdomainelementsandfactsmaybecreated.manyofthedecidableruleclassescomeaboutbyestablishingpropertiesaboutthechasetheycreate.finitenessofthechaseisastraightforwardcr'